misc cleanup as a result of the previous patches
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 4 Mar 2014 10:18:28 +0000 (11:18 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 4 Mar 2014 10:18:28 +0000 (11:18 +0100)
commitf600b324bc5235a179eb6c6f57e564667b8fb8de
tree903be10590b1e7358abcb6cbb36d54af36db3d56
parent4b2ae19ef12a5fff51c810a1e0310105800f733c
misc cleanup as a result of the previous patches

This includes:
 * A stale comment in sh_skip_sync()
 * A dead for ever loop in __bug()
 * A prototype for machine_power_off() which unimplemented in any architecture
 * Replacing a for(;;); loop with unreachable()

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Tim Deegan <tim@xen.org>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/efi/boot.c
xen/arch/x86/mm/shadow/common.c
xen/drivers/char/console.c
xen/include/xen/shutdown.h